1141. Ubiquitous intelligence and computing :
پدیدآورنده : Ching-Hsien Hsu [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ubiquitous computing, Congresses
رده :
QA76
.
5915
.
U33
2011
1142. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
1143. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
پدیدآورنده : J.H. Reif ]ed.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
319
1144. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki Greece, July 8-11, 1986: Proceedings
پدیدآورنده : edited by F. Makedon...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
227
1145. VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings
پدیدآورنده : edited by F. Makedon ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer architecture
رده :
QA
76
.
L4
v
.
227
1146. VLSI algorithms and architectures: Aegean workshop on computing, Loutraki, Greece, July 8-11, 1986; Proceedings
پدیدآورنده : edited by F. Makedon...)et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integration - Congresses ، Integrated circuits,Congresses ، Computer architecture
رده :
TK
7874
.
A338
1986
1147. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
TK
7874
.
A338
1988
1148. Variable neighborhood search :
پدیدآورنده : Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Traveling salesman problem, Congresses.,Traveling salesman problem.
رده :
QA402
.
5
1149. Variable neighborhood search :
پدیدآورنده : Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
رده :
QA402
.
5
1150. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1151. Verification of digital and hybrid systems
پدیدآورنده : edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
1152. Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings
پدیدآورنده : Bill Triggs, Andrew Zisserman, Richard Szeliski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics --Congresses ، Computer vision,Mathematics -- Congresses ، Image processing
رده :
QA
76
.
L28
Vol
.
1883
1153. Visual information and information systems :
پدیدآورنده : Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Informatiesystemen.,Information display systems -- Congresses.,Information display systems.
1154. Visualization in medicine
پدیدآورنده : / Bernhard Preim, Dirk Bartz
کتابخانه: کتابخانه و مرکز یادگیری دانشکده پزشکی (تهران)
موضوع : Three-dimensional imaging- Congresses,Diagnostic imaging- Congresses,Visual perception- Congresses,Imaging, Three-Dimensional- methods- Congresses,Image Interpretation, Computer-Assisted- Congresses,Visual Perception- Congresses
رده :
R857
.
P7
2007
1155. Vlsi algorithms & architectures:3rd aegean workshop on computing,
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE
رده :
TK
7874
.
A338
1988
1156. WALCOM
پدیدآورنده : \ [edited by] M. Sohel Rahman, Etsuji Tomita.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
A43W32
2015
E-Book
,
1157. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
1158. WALCOM
پدیدآورنده : \ Mohammad Kaykobad , Rossella Petreschi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms,الگوریتم‌های کامپیوتری -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
W32
2016
E-Book
,
1159. WALCOM: algorithms and computation :
پدیدآورنده : Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer algorithms.
رده :
QA76
.
9
.
A43
1160. WALCOM, algorithms and computation :
پدیدآورنده : Naoki Katoh, Amit Kumar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43
W35
2011
